disjunction pc